AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x4, x1, s, d, b, k2*q2, c*w1*w2 + c*k1*w2, c + w1 + k1 + w2, w1*x4 + k2*x3 + k1*x4 + w2*x4, c*w1 + c*k1 + c*w2 + w1*w2 + k1*w2, (q1*k1*x4 - k2*x3*q2 - w2*q2*x4)//(q2*x4), (c*x3*x4 - k2*x3^2 - x3*w2*x4 + k1*x2*x4)//(q2*x4)]
